00100	.DEVICE XGP
00200	
00300	.FONT 1 "NGR25"
00400	.FONT 2 "NGB30"
00500	.FONT 3 "SHD40"
00600	.FONT 4  "BDI25"
00700	.FONT 5  "NGR20"
00800	.TURN ON "↓_π{"
00900	.TURN ON "⊗" FOR "%"
01000	.MACRO B ⊂ BEGIN VERBATIM GROUP ⊃
01100	.MACRO E ⊂ APART END ⊃
01200	.TABBREAK
01300	.COMPACT
01400	.SELECT 1
     

00100	.GROUP SKIP 3
00200	.BEGIN FLUSH RIGHT
00300	Doug Lenat
00400	Artificial Intelligence Laboratory
00500	Computer Science Department
00600	Stanford University
00700	Stanford, California 94305
00800	.END
00900	.B
01000	
01100	
01200	
01300	
01400	
01500	Marvin Minsky
01600	Artificial Intelligence Laboratory
01700	Massachusetts Institute of Technology
01800	Cambridge, Mass.
01900	
02000	
02100	
02200	.E
02300	.SELECT 2
02400	Dear Marvin,
02500	
02600	.SKIP 2
02700	.INDENT 6
02800	
02900		Here is the long version of the BEINGS paper, as you requested.
03000	In case you haven't read the shorter version yet, I've enclosed a later
03100	draft (fewer typos).  Please keep in mind that even the long version is
03200	but a collection of excerpts; the CF dialogue itself would take 300
03300	pages extra.  If you have any specific questions, or requests for
03400	complete target programs, the complete PUP6 system, complete
03500	dialogues, etc., I'll be happy to send you more material.
03600	The overall worth per pound drops significantly, of course.
03700	
03800		When my math-understanding ideas get written up as a formal
03900	thesis proposal (a few weeks), I'll mail you a copy.  Meanwhile, thanks
04000	for your interest.
04100	
04200	.B
04300	
04400						Sincerely yours,
04500	
04600	.E